Semantics of UML 2.0 Activities with Data-Flow
نویسنده
چکیده
One of the major improvements of UML 2.0 over UML 1.5 is the reengineering of Activity Diagrams. It is claimed in the standard that they now have a Petri-net like meaning. In this paper, this claim is examined by defining a denotational semantics for Activities based on Colored Petri-nets. The definition closely following the UML 2.0 standard. It covers flat control-flow, and dataflow, but excludes exception-handling, expansion-regions, and procedure-calling. Going along, several points are raised that require clarification in the standard.
منابع مشابه
Semantics and Verification of Data Flow in UML 2.0 Activities
One of the major changes in going from UML 1.5 to UML 2.0 is the reengineering of Activity Diagrams. This paper examines Activities as described in the current version of the UML 2.0 standard by defining a denotational semantics. It covers basic control flow and data flow, but excludes hierarchy, expansion nodes, and exception handling (see [19,20,21,22] for these issues). The paper shows, wher...
متن کاملSemantics of UML 2.0 Activities
The recent major revision of the UML [22] has introduced significant changes and additions. In particular, the metamodel portion underlying Activity Diagrams has been completely reengineered, with Activity being the central concept, the successor of ActivityGraph in UML 1.5. In this paper, a denotational semantics for Activities is defined as a mapping from Activities into Procedural Petri nets...
متن کاملTowards a Petri-net Semantics of Data Flow in UML 2.0 Activities
The Unified Modeling Language (UML) is the de facto standard for modeling software. Currently, the UML is moving from version 1.5 to version 2.0. There are many improvements in this new version, and one of the biggest is the reengineering of activity diagrams. Activity diagrams have an extremely rich syntax, providing notations for sequencing, branching, concurrency, exceptions, procedure calli...
متن کاملMapping UML 2.0 Activities to Zero-Safe Nets
UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is unable to capture and preserve semantics of the newly defined high-level activities constructs such as Interruptible Activity Region. Particularly, basic Petri nets do not preserve the non-locality ...
متن کاملMapping ConcurTaskTrees into UML 2.0
The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT with a de facto standard modeling language was already identified as an import issue, but there is no consensus about the best approach to achieve this goal. The purpose of this paper is to examine the relative strengths and we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004